退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在隐式归纳定理证明中实现推理模块
Stratulat, Sorin;
机译:本原归纳定理桥接隐式归纳方法和高阶重写中的归纳定理
机译:使用隐式函数证明对称空间中扩展类型映射的统一公共不动点定理
机译:表示为整数模的阿贝尔群的叠加定理
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:使用定理证明关于系统生物学的形式推理
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:具有隐式内存地址的时分多路神经突触模块,用于实现神经网络
机译:具有隐式存储器寻址的时分多路神经突触模块,用于实现神经网络
机译:具有隐式存储器寻址的时分多路神经突触模块,用于实现通用的适应性基板
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。